-- ==
-- input {
--   [1,2,3,4,5,6,7,8]
-- }
-- output {
--   [3, 4, 5, 6, 7, 8, 9, 10]
-- }
def main (a: []i32) : []i32 = map (+ 2) a
